#ifndef LECTEURPHRASEAVECTABLE_H_
#define LECTEURPHRASEAVECTABLE_H_

#include "LecteurSymbole.h"
#include "TableSymboles.h"
#include <string>
using namespace std;

class LecteurPhraseAvecTable {
public:
    LecteurPhraseAvecTable(string nomFich); // Construit un lecteur de phrase pour vérifier
    // la syntaxe du programme dans le fichier nomFich

    void analyse(); // Si le contenu du fichier est conforme à la grammaire,
    //   cette méthode se termine normalement et affiche un message "Syntaxe correcte".
    //   la table des symboles (ts) aura été construite
    // Sinon, le programme sera interrompu (exit).

    inline TableSymboles getTs() {
        return ts;
    } // accesseur

private:
    LecteurSymbole ls; // le lecteur de symboles utilisé pour analyser le fichier
    TableSymboles ts; // la table des symboles valués

    // implémentation de la grammaire
    void programme(); //   <programme> ::= debut <seqInst> fin <EOF>
    void seqInst(); //     <seqIns>  ::= <inst> ; { <inst> ; }
    void inst(); //        <inst> ::= <affectation>
    void affectation(); // <affectation> ::= <variable> = <expression>
    void expression(); //  <expression> ::= <facteur> { <opBinaire> <facteur> }
    void facteur(); //     <facteur> ::= <entier>  |  <variable>  |  - <facteur>  |  ( <expression> )
    void relation(); // <relation> ::= <expression> { <opRel> <relation>}
    void expBool(); // <relation> ::= <relation> { <opBool> <relation>}  
    void opRel(); // <opRel> ::= == | != | < | <= | > | >=
    void opUnaire(); // <opUnaire> ::= - | non
    void opEt(); // <opEt> ::= et 
    void opOu(); // <opOu> ::= ou
    void terme(); // <terme> ::= <facteur> { <opMult> <facteur> }
    void opAdd(); //  <opAdd>  ::= + | -  
    void opMult(); // <opMult> ::= *  | /
    void instSi(); // si ( <expBool> ) <seqInst> { sinonsi ( <expBool> ) <seqInst> }
    //     [ sinon <seqInst> ] finsi

    void instTq(); // tantque ( <expBool> ) <seqInst> fintantque
    void instRepeter(); // repeter <seqInst> jusqua ( <expBool> )
    void instLire(); // <instLire> ::= lire(<variable>)
    void instEcrire(); // < instEcrire> ::= ecrire(<expression> | <chaine> )
    void instPour(); // <instPour> ::= pour(<affectation>;<relation>;<affectation>)

    // outils pour se simplifier l'analyse syntaxique
    void testerSymCour(string ch); // si symbole courant != ch, erreur : on arrete le programme, sinon rien
    void sauterSymCour(string ch); // si symbole courant == ch, on passe au symbole suivant, sinon erreur : on arrete
    void erreur(string mess); // affiche les message d'erreur mess et arrete le programme
};

#endif /* LECTEURPHRASEAVECTABLE_H_ */
